A computational logic
- Författare
- J. Strother Moore Robert S. Boyer
- (Robert S. Boyer and J. Strother Moore.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Academic Press | cop. 1979 | USA, New York | 397 sidor. |